Relative inverses in Baer *-semigroups.

Onesided Inverses for Semigroups

In any semigroup S, we say that elements a and b are left inverses of each other if a = aba, b = bab and a L b, in which case we write a γ b. Right inverses are defined dually with the notation δ. Set τ = δγ. We study the classes of semigroups in which τ has some of the usual properties of a relation. We also consider properties of (maximal) completely simple subsemigroups of S. In terms of the...

Daggers, Kernels, Baer *-semigroups, and Orthomodularity

We discuss issues related to constructing an orthomodular structure from an object in a category. In particular, we consider axiomatics related to Baer *-semigroups, partial semigroups, and various constructions involving dagger categories, kernels, and biproducts.

On Maximal Subsemigroups of Partial Baer-Levi Semigroups

Suppose that X is an infinite set with |X| ≥ q ≥ א0 and I X is the symmetric inverse semigroup defined on X. In 1984, Levi and Wood determined a class of maximal subsemigroups MA using certain subsets A of X of the Baer-Levi semigroup BL q {α ∈ I X : dom α X and |X \ Xα| q}. Later, in 1995, Hotzel showed that there are many other classes of maximal subsemigroups of BL q , but these are far more...

Locally Compact Baer Rings

Locally direct sums [W, Definition 3.15] appeared naturally in classification results for topological rings (see, e.g.,[K2], [S1], [S2], [S3], [U1]). We give here a result (Theorem 3) for locally compact Baer rings by using of locally direct sums. 1. Conventions and definitions All topological rings are assumed associative and Hausdorff. The subring generated by a subset A of a ring R is denote...

Extensions of Baer and quasi-Baer modules